On utilise la caractérisation avec \(\operatorname{Id}\), qui est
C'est ok avec le Théorème d'isomorphisme de Banach.